#include "qelib.h"
#include "xil_cache.h"



void qe_dcache_flush_range(qe_ubase addr, qe_size size)
{
	Xil_DCacheFlushRange(addr, size);
}

void qe_dcache_invalidate_range(qe_ubase addr, qe_size size)
{
	Xil_DCacheInvalidateRange(addr, size);
}
